UnequalTerms.agda:8,8-11
One !=< Zero
when checking that the expression one has type Zero
